Ultrametric matrices and representation theory
نویسندگان
چکیده
منابع مشابه
Assessing Congruence Among Ultrametric Distance Matrices
Recently, a test of congruence among distance matrices (CADM) has been developed. The null hypothesis is the incongruence among all data matrices. It has been shown that CADM has a correct type I error rate and good power when applied to independently-generated distance matrices. In this study, we investigate the suitability of CADM to compare ultrametric distance matrices. We tested the type I...
متن کاملThe comb representation of compact ultrametric spaces
We call a comb a map f : I → [0,∞), where I is a compact interval, such that {f ≥ ε} is finite for any ε. A comb induces a (pseudo)-distance d̄f on {f = 0} defined by d̄f (s, t) = max(s∧t,s∨t) f . We describe the completion Ī of {f = 0} for this metric, which is a compact ultrametric space called comb metric space. Conversely, we prove that any compact, ultrametric space (U, d) without isolated p...
متن کاملUltrametric Domain Theory and Semantics in Coq
We present a Coq formalization of ultrametric spaces and of ultrametric-enriched categories, up to and including the construction of solutions to recursive domain equations in ultrametric-enriched categories. We then show how to apply this semantic setup for giving semantics to a programming language with higher-order store. Specifically, we define a step counting operational semantics for a fu...
متن کاملGeneralized ultrametric spaces in quantitative domain theory
Abstract Domains and metric spaces are two central tools for the study of denotational semantics in computer science, but are otherwise very different in many fundamental aspects. A construction that tries to establish links between both paradigms is the space of formal balls, a continuous poset which can be defined for every metric space and that reflects many of its properties. On the other h...
متن کاملElements of Generalized Ultrametric Domain Theory
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces, as was observed by Lawvere (1973). Guided by his enriched-categorical view on (ultra)metric spaces, we generalize the standard notions of Cauchy sequence and limit in an (ultra)metric space, and of adjoint pair between preorders. This leads to a solution method for recursive domain equations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics A: Mathematical and General
سال: 1997
ISSN: 0305-4470,1361-6447
DOI: 10.1088/0305-4470/30/19/019